Normal bisimulations in process calculi with passivation

机译：具有钝化的工艺结晶中的正常互模拟

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Lenglet, Sergueï; Schmitt, Alan; Stefani, Jean-Bernard;
展开▼
作者单位

展开▼
年度 2009
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Compositional bisimulation metric reasoning with Probabilistic Process Calculi [J] . Tini Simone, Larsen Kim G., Gebler Daniel Logical Methods in Computer Science . 2017,第4期

机译：概率过程计算的组合双仿真度量推理
2. Compositional bisimulation metric reasoning with Probabilistic Process Calculi [J] . Tini Simone, Larsen Kim G., Gebler Daniel Logical Methods in Computer Science . 2016,第4期

机译：概率过程计算的组合双仿真度量推理
3. Towards a Theory of Bisimulation for the Higher-Order Process Calculi [J] . Yong-Jian Li, Xin-Xin Liu Journal of Computer Science & Technology . 2004,第3期

机译：迈向高阶过程计算的双仿真理论
4. Normal Bisimulations in Calculi with Passivation [C] . Serguei Lenglet, Alan Schmitt, Jean-Bernard Stefani Foundations of software science and computational structures . 2009

机译：带钝化的算术中的正常双仿真
5. The measurement of auditory interhemispheric transfer time (IHTT) in children with normal auditory processing abilities. [D] . Keahey, Brittany Suzanne. 2013

机译：具有正常听觉处理能力的儿童的听觉半球间转移时间（IHTT）的测量。
6. Restriction of Passive Glenohumeral Abduction Combined With Normal Passive External Rotation Is a Diagnostic Feature of Calcific Tendinitis [O] . Anna Jungwirth-Weinberger, Christian Gerber, Glenn Boyce, -1

机译：限制被动性肾盂肱骨外展结合正常被动外旋是钙化性腱炎的诊断特征
7. Normal bisimulations in process calculi with passivation [O] . Lenglet, Sergueï, Schmitt, Alan, Stefani, Jean-Bernard 2009

机译：带钝化的过程计算中的正态双模拟
8. Short Proof of the Decidability of Bisimulation for Normal BPA Processed [R] . Groote, J. F. 1991

机译：正常Bpa处理的双模拟可判定性的简证

Normal bisimulations in process calculi with passivation

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅